1. Formal methods in artificial intelligence
پدیدآورنده : Allan Ramsay
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
2. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988